переменная с конечным числом значений

См. также в других словарях:

• ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

• ТОПОЛОГИЧЕСКИЙ СОЛИТОН — солитон с нетривиальной топологич. характеристикой (типа степени отображения, инварианта Хопфа и т …   Физическая энциклопедия

• ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ — формализации содержательных логич. теорий; выводимые объекты Л. п. интерпретируются как суждения, составленные из простейших (имеющих, вообще говоря, субъектно предикатную структуру) при помощи пропозициональных связок и кванторов. Чаще всего… …   Математическая энциклопедия

• РЕКУРСИЯ — способ определения функций, являющийся объектом изучения в теории алгоритмов и других разделах математич. логики. Этот способ давно применяется в арифметике для определения числовых последовательностей (прогрессии, чисел Фибоначчи и пр.).… …   Математическая энциклопедия

• Математика —          I. Определение предмета математики, связь с другими науками и техникой.          Математика (греч. mathematike, от máthema знание, наука), наука о количественных отношениях и пространственных формах действительного мира.          «Чистая …   Большая советская энциклопедия

• КВАНТОВАЯ МЕХАНИКА — (волновая механика), теория, устанавливающая способ описания и законы движения микрочастиц (элем. ч ц, атомов, молекул, ат. ядер) и их систем (напр., кристаллов), а также связь величин, характеризующих ч цы и системы, с физ. величинами,… …   Физическая энциклопедия

• ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …   Философская энциклопедия

• Целое (тип данных) — Целое, целочисленный тип данных (англ. Integer), в информатике  один из простейших и самых распространённых типов данных в языках программирования. Служит для представления целых чисел. Множество чисел этого типа представляет собой… …   Википедия

• Чёрная дыра — У этого термина существуют и другие значения, см. Чёрная дыра (значения). Изображение, полученное с помощью телескопа «Хаббл»: Активная галактика M87. В ядре галактики, предположительно, находится чёрная дыра. На сни …   Википедия

• Экономика США — (U.S. Economy) Экономика США это крупнейшая экономика в мире, локомотив мировой экономики, определяющая ее направление и состояние Определение экономики США, ее история, структура, элементы, периоды роста и краха, экономические кризисы в Америке …   Энциклопедия инвестора

• Ряд в математике — Содержание. 1) Определение. 2) Число, определяемое рядом. 3) Сходимость и расходимость рядов. 4) Условная и абсолютная сходимость. 5) Равномерная сходимость. 6) Разложение функций в ряды. 1. Определения. Р. есть последовательность элементов,… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона